62deae9018fab41292bfd3234d4d46b2f2d91af0121550ebb3aa4ada04c118b2  test/test0019/proof
